TSTP Solution File: ITP018^3 by Nitpick---2016